68.95/70.16	unsat
