66.23/66.72	unsat
