66.90/67.07	unsat
