66.14/66.32	unsat
