55.92/59.25	unsat
