526.47/528.35	unsat
