66.78/68.93	unsat
