65.79/66.31	unsat
