57.96/58.75	unsat
