54.00/54.81	unsat
