67.37/67.78	unsat
