67.97/70.11	unsat
