59.19/59.30	unsat
