524.50/528.25	unsat
