55.06/59.97	unsat
