55.45/55.67	unsat
