54.95/57.59	unsat
