54.66/57.74	unsat
