55.81/59.17	unsat
