505.08/507.28	unsat
