54.26/55.36	unsat
