54.46/57.22	unsat
