65.07/65.86	unsat
