68.68/68.83	unsat
