54.83/57.74	unsat
