68.08/68.67	unsat
