68.50/71.00	unsat
