66.80/66.97	unsat
