55.97/59.00	unsat
