66.30/66.71	unsat
