56.49/59.92	unsat
