68.34/107.87	unsat
