65.60/65.79	unsat
