57.69/60.46	unsat
