59.09/59.23	unsat
