65.16/65.38	unsat
