68.95/73.00	unsat
