58.11/59.67	unsat
