67.93/68.09	unsat
