67.99/70.07	unsat
