55.90/57.86	unsat
