59.64/61.80	unsat
