67.92/68.89	unsat
