59.28/59.72	unsat
