505.02/506.28	unsat
