55.17/59.00	unsat
