57.12/59.30	unsat
