67.93/68.20	unsat
