54.28/54.48	unsat
