68.68/70.34	unsat
