68.00/68.63	unsat
