66.13/66.34	unsat
