65.51/66.03	unsat
