55.24/55.75	unsat
