54.82/57.54	unsat
