68.81/70.50	unsat
