544.18/544.93	unsat
