57.34/59.16	unsat
