67.70/67.80	unsat
