534.28/535.93	unsat
