57.62/59.38	unsat
