67.52/70.02	unsat
