65.51/65.67	unsat
