54.80/56.48	unsat
