54.89/57.51	unsat
