67.97/68.17	unsat
