57.18/59.49	unsat
